[Mini-OS] Fix x86 arch_switch_thread
authorKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:23:28 +0000 (16:23 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Fri, 23 Nov 2007 16:23:28 +0000 (16:23 +0000)
commitfd2f80c255acc5edf0cea58053c81f392042bf51
treec15b47372749e83f1e36d0cbc3674d66c60777d8
parenta222af2ef1f49e5c232466ab162fd606732a9d05
[Mini-OS] Fix x86 arch_switch_thread

Fix x86 arch_switch_thread by making it pure assembly.
There were missing general register clobbers for x86_64, and BP should
theorically be clobbered too, but gcc does not believe that, so the
only simple safe solution is to use pure assembly.

Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
extras/mini-os/arch/x86/x86_32.S
extras/mini-os/arch/x86/x86_64.S
extras/mini-os/include/sched.h
extras/mini-os/include/x86/arch_sched.h